extern void putch (char);
extern char getch (void);
extern void verify (void);

void main_loop (void)
{
    unsigned char c;
    
    for (;;)
    {
        getch();
        
        c = getch();
        verify();
        putch (c);
    }
}