@return left index (inclusive) of interval encoding to
()
no outgoing calls
no test coverage detected