EXTENSIONS DEST_MAGIC EXTENSIONS DEST_MAGIC

no special info, see general notes

tools_misc loader code P4_OCoN