Comment by WalterBright

D has a nice feature where a function can be annotated with `pure`, and the compiler will check that the function is pure.

It's fun trying to reorganize your code to make it pass the `pure` checking.