Removing printf() debugging calls