Printf specifiers don't actually work in Module.printErr function. Just drop the %x here?