HR is now the first complete (valid, runnable) example.