Bug 1031: Experimental TPDA