state_#.name : #x:basic-type