clarify the printk example