Simple example of parsing a race trace