#include <stdint.h>
uint8_t read6850(uint16_t address);
void write6850(uint16_t address, uint8_t value);