import LIB/default.lm;

main := λ. (: (
   ()
   (match (SAtom( 'A_s )) (
      ()
      ( (SCons( a b )) () )
      ( (SAtom _) (print a) )
   ))
) Nil);