Doesn't work for me [0]. Perhaps HN messed it up somehow?

[0]: https://tio.run/##K0gtyjH9/z83sUAlR9tWQ9dQUyVeX8NQVyXeSNNEx1...