MANGLED.INT