labeled_restrictions_push 3005 src/editfns.c      labeled_restrictions_push (buf, outermost_restriction);
labeled_restrictions_push 3006 src/editfns.c    labeled_restrictions_push (buf, list3 (label,