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