#pragma once
#include <stdint.h>

#define TYPES_INCLUDED
typedef uintptr_t user_ptr;