test cases/rust/33 cargo workspace/test_foo_1.c

extern int foo(void);

int main(void) {
  return foo() == 3 ? 0 : 1;
}