Better debugging with printf