CHECK: extern prototypes should be avoided in .h files