let
add_2_64 x = add two_power_64 x