{{title}}

{{summary}}

调用方{{caller}}

begin{{begin}}

写入 A{{write-a}}

写入 B{{write-b}}

commit / rollback{{commit-rollback}}

外部观察{{observer}}

{{evidence_and_notes}}