---

Sx=1;信箱A中邮件不为空

Sy=0;信箱B中邮件为空

wait Sx；         wait Sy;

A；                   B;

sign Sy;           sign Sx;