/*
   Hello.c - demo file for simple output
 */

#define OUTPORT ((char *) 0x1800)

void main()
{
    void out_byte(char);

    out_byte('A');
}

void out_byte(char value)
{
    *OUTPORT = value;
}