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,