#include "catch.h"
int main() {
catch();
return 0;
}