1/1: Building TestException (TestException.idr)
