base.flows.Pair[A:imm,mut,read,B:imm,mut,read]

mut .b: B,
mut .a: A,
mut .b: B,
mut .a: A,