EXTENSIONS $PID EXTENSIONS $PID

no special info, see general notes

shell loader code P4_FXco