Added basic support for using printf to emit debug output via the dbgprintf call