#ifndef __CS261_Y86__
#define __CS261_Y86__

#include <stdint.h>

#define VADDRBITS 12
#define MEMSIZE (1 << VADDRBITS)

/* type declarations */
typedef uint8_t  byte_t;        // byte

#endif