EXTENSIONS DEFS-ARE-SEARCHED-ALSO EXTENSIONS DEFS-ARE-SEARCHED-ALSO

no special info, see general notes

useful loader code P4_FXco