#include "coreutils.h" int foo() { return 42; }