Hah!  I wouldn't have seen it if you hadn't pointed it out.  (Not that that means much, I'm not sure I pattern matched `0xDEADBEEF` correctly the first time I saw it; this is why I had to ask.)