Function prelude 

pub fn prelude() -> String

Assembler .equ lines naming every control register, cause and flag.

The counterpart to the device prelude: prepend it so a supervisor written in assembly names TVEC and CAUSE_ECALL instead of 0 and 6.