Please note that your formatting is totally screwed, making your fine comment almost unreadable.
See also the "help" link next to the edit box: https://news.ycombinator.com/formatdoc
See also the "help" link next to the edit box: https://news.ycombinator.com/formatdoc
Is that a mistake with "HELLO3"? Should it not be HELLO2? Or am I stupid?