let
int_const_64 = big_int_of_int 64