1	import Base
2	
3	# Audited console and environment effects. C and JS twins share semantics and
4	# return empty strings for EOF and missing environment variables respectively.
5	
6	# Read line for the console input and output.
7	def read_line() -> IO(Result<&1, &1, U32 & String, String>):
8	  import "./effs/read_line.c"
9	  import "./effs/read_line.js"
10	
11	# Return env for the console input and output.
12	def get_env(name: String) -> IO(Result<&1, &1, U32 & String, String>):
13	  import "./effs/get_env.c"
14	  import "./effs/get_env.js"