A b x1 b a B A x1 B a x1 a b A B x1 A a x1 x1 B b x1 x1 A 1 b 1 a 1 B 1 FULL ./SRS/Zantema/z080.srs ./TRS/nontermin/AG01/#4.31.trs