receiver.v: remove test code