semihastate

not defined yet