these are test examples from Kochan's book