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

main := λ(: argc U64)(: argv U8[][]).(tail(
   (let x (SCons( 
      (close SNil)
      (close (SAtom( 'A_s )))
   )))
   (match x (
      ()
      ( (SCons( SNil (SAtom a) )) (print a) )
   ))
));

