module arch;

function void init()
{
    // putc(65)
}

function void putc(int c)
{
    var int *UART0DR;
    UART0DR = cast<int*>(0x10009000); // UART0 DR register
    *UART0DR = c;
}

function void halt()
{
}