#include int main(void) { printf("No test to run!\n"); return 0; }