triple             30 user/testbin/triplehuge/triple.h void triple(const char *prog);
triple             43 user/testbin/triplehuge/triplehuge.c 	triple("/testbin/huge");
triple             30 user/testbin/triplemat/triple.h void triple(const char *prog);
triple             43 user/testbin/triplemat/triplemat.c 	triple("/testbin/matmult");
triple             30 user/testbin/triplesort/triple.h void triple(const char *prog);
triple             43 user/testbin/triplesort/triplesort.c 	triple("/testbin/sort");