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	def read_line() -> IO(Result<&1, &1, U32 & String, String>):
7	  import "./effs/read_line.c"
8	  import "./effs/read_line.js"
9	
10	def get_env(name: String) -> IO(Result<&1, &1, U32 & String, String>):
11	  import "./effs/get_env.c"
12	  import "./effs/get_env.js"