let value_of_bits = ref (fun _ _ -> assert false)