Oops, don't highlight #include of ctx_switch