Add some comment for `quit(0)`