1 /* This is a placeholder file that should be replaced with the contents 2 * generated by the rddecompiler from a trace file. 3 */ main(int argc,char ** argv)4 int main(int argc, char **argv) 5 { 6 return 1; 7 }