let
two = of_int 2