printk_int doesn't work