pub fn initialize_architecture<'ir, B: BV>(
arch: &'ir mut [Def<Name, B>],
symtab: Symtab<'ir>,
isa_config: &ISAConfig<B>,
mode: AssertionMode,
) -> Initialized<'ir, B>pub fn initialize_architecture<'ir, B: BV>(
arch: &'ir mut [Def<Name, B>],
symtab: Symtab<'ir>,
isa_config: &ISAConfig<B>,
mode: AssertionMode,
) -> Initialized<'ir, B>