Implemented <- recv.