let get_signed_max sz =
  assert(sz <= 64);
  let max64 = Int64.max_int
  and shift_value = 64 - sz in
    if shift_value > 0
    then Int64.shift_right max64 shift_value
    else max64