Add Rex Kerr's benchmark example.