EXTENSIONS DEST_MAGIC
EXTENSIONS DEFS-ARE-SEARCHED-ALSO
EXTENSIONS DFLOAT%
EXTENSIONS DEST_MAGIC
EXTENSIONS DEST_MAGIC
no special info, see general notes
tools_misc
loader code P4_OCoN