While: obj go: a: var integer b: var integer BooleanValue: out V: var Boolean doWhile: condW:< BooleanValue doPartW:< Object