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