let e_lshift = binop TERM.I_lsl