Symbol: fini_mangle_state