#include int bar() { return 42; }