tests for ex3