extern char memory[16000];
extern unsigned check_memory(unsigned i);