This is just a note to ensure that the values below appear in the archives.
If you're wondering why a register contains 0xfaf0f1fe (or 0xFAF0F1FE)
or 0xFEF1F0FA on big-endian machines, and you think "I can guess
that's a marker, and I'm sure I've seen that somewhere"
but can't find it with grep, you'll find it in the place you first
thought of: /sys/src/libc/port/pool.c
where it appears as separate bytes as the "datamagic" data sequence
0xFE, 0xF1, 0xF0, 0xFA
(which you might also see written that way in a memory dump).
