Ticket #41: inline read_key() call for read_value().

1000000 loops, best of 3: 0.44 usec per loop