EXTENSIONS ORIG_MAGIC
EXTENSIONS OF_MAGIC
EXTENSIONS PERFORM
EXTENSIONS ORIG_MAGIC
EXTENSIONS ORIG_MAGIC
no special info, see general notes
tools_misc
loader code P4_OCoN