s1

val s1: Int

first state