StdEnv.icl 312 Bytes