Interpreter for a language based on random control flow