val max_0 : int -> int
(** [max_0 n] is equivalent to [Int.max 0 n]. *)

val is_pow_2 : int -> bool
(** [is_pow_2 n] determines [n] is zero or of the form [1 lsl i] for some
    [i]. *)

val ceil_pow_2_minus_1 : int -> int
val ceil_pow_2 : int -> int
