printf debugging... sigh