let shift n c = { (c) with loc = Loc.move `both n c.loc; }