void StoreModifierLocation (object token, Location loc) { if (lbag == null) return; if (mod_locations == null) mod_locations = new List<Tuple<Modifiers, Location>> (); mod_locations.Add (Tuple.Create ((Modifiers) token, loc)); }