static bool location_after(Location a, Location b) { /* a is after b? */
	return a.code > b.code;
}