Type Definition wire4::Prog

type Prog = Vec<Word, U512>;