It would be nice to improve the `Debug.print` output a bit, and implement a `#debug` directive (I thought I had done this, but apparently not??)