diff --git a/mach/proto/libg/barrier.c b/mach/proto/libg/barrier.c
new file mode 100644
index 000000000..354d0860b
--- /dev/null
+++ b/mach/proto/libg/barrier.c
@@ -0,0 +1 @@
+main() { printf("Hello world\n") ; }