INVARIANT

val INVARIANT: Int = 5(source)

RegularExpression Id.