K 10 svn:author V 5 pstef K 8 svn:date V 27 2018-06-03T16:21:15.114262Z K 7 svn:log V 155 indent(1): disjoint parser state from lexi() The function is sometimes used as a look-ahead, so ideally it should bear no information about parser state. END