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