#include "stdint.h"

void refreshchannels();
void cursor(uint8_t x, uint8_t y);

extern unsigned char cursorx, cursory;