EXTENSIONS RMDIR EXTENSIONS RMDIR

no special info, see general notes

shell loader code P4_SXco