semimarking

not defined yet