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

main := (tail(
   (let x 'a_s)
   (let y 'a_s)
   (print x)(print y)(print \n_s)
   (if (==( x y )) (print 'AEqA\n_s) (print 'Failure\n_s) )
   (set y 'b_s)
   (print x)(print y)(print \n_s)
   (if (==( x y )) (print 'Failure\n_s) (print 'ANotEqB\n_s) )
));
