#ifndef types_h
#define types_h

#include <stddef.h>
#include <uspi/types.h>
#include "integer.h"

typedef unsigned long long	u64;

typedef signed long long	s64;


#endif