#include "../ext13/catch13~.c"
void  catch13_tilde_setup()
{
  sigcatch13_setup();
}