Function prelude 

pub fn prelude() -> String

Assembler .equ lines naming every constant a driver needs.

Generated from the definitions above for the same reason the device prelude is: the guest driver and the host builder must agree about the layout, and a number written into both is a number that will eventually differ between them.