EXTENSIONS INPUT_MAGIC EXTENSIONS INPUT_MAGIC

no special info, see general notes

tools_misc ordinary constant