#error "This file should not be included"

extern void skip_linting_h(void);