#include <types.h>
#define UINT64_MAX  (u64)(~((u64) 0))
typedef long			intptr_t;