let
value_of_boolean b = value_of_integer (
Ctypes
.c_bool()) (
F
.e_bool b)