let
thirty_two_big_int = big_int_of_int 32