let bits_or   _ = F.e_app2 "int_or"