5.4.2 实现amb