/* Author: Diego Iglesias
 *         iglesias@andrew.cmu.edu
 */

/* datatypes.h
 * header file with basic datatypes
 */

typedef unsigned char uint8;
typedef signed char int8;
typedef unsigned short int uint16;
typedef signed short int int16;
typedef unsigned int uint32;
typedef signed int int32;