More and more debug info getting done in the C3 backend: