#ifndef DATATYPES_H
#define DATATYPES_H

#include <stdint.h>

// sizes as defined in the System V ABI
typedef uint16_t Elf64_Half;
typedef uint64_t Elf64_Off;
typedef uint64_t Elf64_Addr;
typedef int32_t Elf64_Word;
typedef uint64_t  Elf64_Xword;



#endif // DATATYPES_H