Brian Harvey's logo language interpreter