DEC-XTRAP extension headers
