Why not use normal hex literals as used everywhere else in this file?