printf debugging.