external
int_of_bool : bool
->
int =
"%identity"