Add instructions for printf debugging