The testcode for Ex3