val is_pow2 : int -> bool
val ceil_pow2 : int -> int
val floor_pow2 : int -> int