Some support for a debugging mode