let bits_lshift  _ = F.e_app2 "int_lsh"