let power_of_two i = 
  assert (i >= 0L && i < 63L);
  1L lsl (Int64.to_int i)