class bs_in all_info =
    let (id, addr, arch) = all_info in let () =
    match arch with
    | I1 a -> let (cc, writeback) = (a.cc, a.writeback);
    | I2 a -> let cc = a.cc;
    in
....