MIPS assembly:
Existing C source, preprocessed (optional):
(to use a goto for a single branch, add "# GOTO" to the asm)