In C/C++ terminology, debugPrint() seems to be handling %x formatting characters, like "%f", but it doesn't use a comma-separated argument list (like printf()), so it prints garbage if a "%x" is encoutered. Bizarely, thinking this was a new feature, if you give debugPrint() multiple arguments it seems to print them in reverse order.