#include "tc0.h" int tc0100(int argc, char **argv) { return 0; }