Arg0 is the string to be printed out of the debugging serial port. It can contain "%x", in which case the hex representation of arg1 is inserted.