module arch;

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

function void putc(int c)
{
// TODO
}

function void halt()
{
}