Concurrency versus interleaving: an instructuve example