example cases tested