sig val ceil_pow2 : int -> int val floor_pow2 : int -> int end