#include "test_tools.h"

 int main() 

 {

   check(true, "It should pass.");

   return 0;

 }