let
boolean_of_int v = boolean_of_integer v