witgen

We just breezed by the following line:

#[witgen]

witgen is a special macro needed generate a type definition for user made types like Message.

We also skipped the line that imported the macro:

use witgen::witgen;

The witgen crate is