seeming complete interpreter for current specifications