#include "foo.h"

int foo2(int x) {
  return x - 42;
}