#include "test_tools.h"

int main() 
{
  check(true, "It should pass.");
  return 0;
}