Non-tail-recursive receiver