Debug messages shouldn't be shown with printf