diff --git a/test/vast/Transform/HL/UDE/libc-a.c b/test/vast/Transform/HL/UDE/libc-a.c
new file mode 100644
index 0000000000..2854a313f1
--- /dev/null
+++ b/test/vast/Transform/HL/UDE/libc-a.c
@@ -0,0 +1,7 @@
+// RUN: %vast-front -vast-emit-mlir=hl -vast-simplify %s -o - | %file-check %s
+#include <stdio.h>
+
+// CHECK-NOT: hl.typedef
+// CHECK-NOT: hl.struct
+// CHECK-NOT: hl.func
+// CHECK-NOT: hl.var
\ No newline at end of file