DEST_MAGIC DEST_MAGIC

[] no special info, see general notes

EXTENSIONS tools_misc ordinary constant