1 files changed, 5 insertions, 0 deletions
diff --git a/test cases/rust/32 cargo workspace/test_foo_1.c b/test cases/rust/32 cargo workspace/test_foo_1.c
new file mode 100644
index 000000000..d5f12a6ee
--- /dev/null
+++ b/test cases/rust/32 cargo workspace/test_foo_1.c
@@ -0,0 +1,5 @@
+extern int foo(void);
+
+int main(void) {
+  return foo() == 3 ? 0 : 1;
+}