#include int main(int argc, char **argv) { printf("Trivial test is working.\n"); return 0; }