Use printHard to flush stdout