EXTENSIONS $USER EXTENSIONS $USER

no special info, see general notes

shell loader code P4_FXco