#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
