#ifndef RT_STDINT_H
#define RT_STDINT_H

#include "assert.h"

typedef unsigned char uchar;

typedef unsigned short int ushort;

typedef unsigned int uint;

typedef unsigned long int ulong;

typedef long long int vlong;
typedef unsigned long long int uvlong;

// Machine specific types

#include <arch_stdint.h>

#endif