module arch;


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

function int pfr0();
function int pfr1();
function int mmfr0();
function int mpuir();

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

function void halt()
{
}