
import STDLIB/default-instruction-set.lm;
import STDLIB/default-primitives.lm;
import STDLIB/default-rules.lm;
import STDLIB/default-stdlib.lm;

echo := λ(: x U64). (: (
   x
) U64);

main := (
   (let x (echo 123_u64))
   (print x)
);
