Function fault_when 

pub fn fault_when(
    b: &mut Builder,
    cond: u32,
    d: Divergence,
    otherwise: &Mw,
) -> Mw

A fault word that is d’s code when cond is 1, else otherwise.