#import "./testcase.typ": case, cases, defectClassToString, protocoll, results