Helpers.Bit_field
val list_to_c : ('a -> int) -> 'a list -> int
val c_to_list : ('a -> int) -> 'a list -> int -> 'a list
val test : ('a -> int) -> 'a list -> int -> bool
val accumulate : int -> bool -> int -> int