(eq (lit 128) (lit 64))
(eq (lit true) (lit true))