EXTENSIONS ORIG_MAGIC EXTENSIONS ORIG_MAGIC

no special info, see general notes

tools_misc ordinary constant