N420: Dealloc flush bad state.
Parent topic:
N400 - N449