module awaitseq: input A, B; output O; await A; await B; emit O end module