import LIB/default.lm;

main := λ. (: (
   (let x (Satom 'abc_s))
   (print x)
) Nil);