: name>interpret ( nt -- xt ) nfa>cfa ;