Added type_printk()