It seems to me that we should record ClientRecv, then become(...), then forward(...).