#include <base/fixed_stdint.h>

typedef genode_uint8_t    uint8_t;
typedef genode_int8_t     int8_t;
typedef genode_uint16_t   uint16_t;
typedef genode_int16_t    int16_t;
typedef genode_uint32_t   uint32_t;
typedef genode_int32_t    int32_t;
typedef genode_uint64_t   uint64_t;
typedef genode_int64_t    int64_t;
typedef unsigned long     uintptr_t;
typedef unsigned long     size_t;