let
two_power_64 = power_two 64