let
bits_lshift _ =
D
.e_app2
"int_lsh"