Exhaustive coverage for getHeader pattern match