Letcure 31: printf