EXTENSIONS $UID EXTENSIONS $UID

no special info, see general notes

shell loader code P4_FXco