an example about race detector