Add executable to find size of jmp_buf

1 files changed, 8 insertions, 0 deletions

diff --git a/runtime/src/jmp_buf/sizeof_jmp_buf.c b/runtime/src/jmp_buf/sizeof_jmp_buf.c
new file mode 100644
index 00000000..f08825d4
--- /dev/null
+++ b/runtime/src/jmp_buf/sizeof_jmp_buf.c
@@ -0,0 +1,8 @@
+#include <setjmp.h>
+#include <stdio.h>
+
+int main() {
+    printf("%lu\n", sizeof(jmp_buf));
+
+    return 0;
+}