Additional test for jeff. Now use the 0x... notation.