Spec a statement-level construct for racing things