#include <stdlib.h>

void vectrex_draw_box(u_int8_t y1, u_int8_t x1, u_int8_t y2, u_int8_t x2, u_int32_t color1, u_int32_t color2) {
}
void draw_line(u_int8_t y1, u_int8_t x1, u_int8_t y2, u_int8_t x2, u_int32_t color) {
}
void vectrex_vector(u_int8_t y1, u_int8_t x1, u_int8_t y2, u_int8_t x2) {
}
u_int32_t frame_number(void) {
}