#ifndef _LIBAUX_SETJMP_H
#define _LIBAUX_SETJMP_H

#if defined(__x86_64__)
typedef void* jmp_buf[10];
#endif

__attribute__((naked, returns_twice)) int setjmp(jmp_buf buf);

__attribute__((naked, noreturn)) void longjmp(jmp_buf buf, int ret);

#endif // _LIBAUX_SETJMP_H