synonym-minus-obsoleted:header.1 — definining primitive
EXTENSIONS
SYNONYM-OBSOLETED ( .. )(
)
definining primitive SYNONYM-OBSOLETED
an executable word (no special usage info)
or wrapper call around p4_obsoleted