Parser: Constant stack size upper bound via TailCalls