let bits_rshift  i = 
    D.e_app2 (if (Ctypes.signed i) then "int_rshs" else "int_rshu")