Adjusted receive for new usage (was copied from mtut.scm