path: root/runtime/src/jmp_buf/sizeof_jmp_buf.c

#include <setjmp.h>
#include <stdio.h>

int main() {
    printf("%zu\n", sizeof(jmp_buf));

    return 0;
}