Parameter MakeState.1-S

type state
val init : state
val name : string