#ifndef ULIB_JUMP_JUMP_H_
#define ULIB_JUMP_JUMP_H_

#include <stdint.h>
#include <stddef.h>

/* typedef struct { */
/*   uint64_t rip; */
/*   uint64_t rsp; */
/*   uint64_t rbp; */
/*   uint64_t rbx; */
/*   uint64_t r12; */
/*   uint64_t r13; */
/*   uint64_t r14; */
/*   uint64_t r15; */
/* } JumpEnv; */

typedef uint64_t jmp_buf[8];

int setjmp(jmp_buf env);
void longjmp(jmp_buf env, int status);

#endif // ULIB_JUMP_JUMP_H_