more printf debuggin