let startof l _cv = match l with | Model.Loc(b,ofs) -> Model.Loc(b,ofs) | Model.Addr p -> Model.Addr (model_addr_shift p zero)