printk2 is one of my desert island opcodes. A version that would let
you print additional strings with it would be really great:

printk2s "Awesome rating=%d", k1