type check for header code