nikomatsakis revise example
Latest commit 8a0f29e Jul 28, 2016