interpreter for Post-Turing programs