EXTENSIONS DEFS-ARE-SEARCHED-ALSO
EXTENSIONS DEFS-ARE-CASE-SENSITIVE
EXTENSIONS DEST_MAGIC
EXTENSIONS DEFS-ARE-SEARCHED-ALSO
EXTENSIONS DEFS-ARE-SEARCHED-ALSO
no special info, see general notes
useful
loader code P4_FXco