Tests/PrecompiledHeader/foo1.c

#ifndef foo_h
#  error "Precompiled header foo_precompiled.h has not been loaded."
#endif

int main(void)
{
  return foo();
}