typedef char buf512_t[512];
#define RXBUF_ADDR 0x3800
#define TXBUF_ADDR 0x3a00
#define rx_buf (*(buf512_t *)RXBUF_ADDR)
#define tx_buf (*(buf512_t *)TXBUF_ADDR)