import LIB/default.lm; main := λ. (: ( (let c (cell( 1_u64 ))) (print (deref c)) (set[]( c 2_u64 )) (print (deref c)) ) Nil);