start:
    addi64 r254, r254, 8
    jal r0, r0, main
    tx
main:
    jala r0, r31, 0