Tests/PrecompiledHeader/foo1.c

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

int main()
{
  return foo();
}