Reordered event specification to avoid race