let model_addr_shift : D.integer -> D.integer -> D.integer =
    D.e_app2 "addr_shift"