sourceCodePoint0
        }
      }

    skipWhitespace()
    if (readByte() != ';'.code.toByte()) throw IOException("expected ';'")

    // "valid" or "mapped"
    skipWhitespace()
    val type = select(optionsType)

    when (type) {
      TYPE_DEVIATION, TYPE_MAPPED, TYPE_DISALLOWED_STD3_MAPPED -> {
        skipWhitespace()