Exceptions know source file, line and block name. Also tidy up some debug printing functions and provide a global flag to enable/disable them.
