Replace use of operator[] with push_back in the first data race example.

Fixes #19