CHECK: Comparison to NULL could be written "!ctx.descriptors"
CHECK: Comparison to NULL could be written "!header"