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