no HashMap.mangle