On Thu, Jun 14, 2012 at 01:54:34PM -0700, Ethan Jackson wrote: > Here's an incremental I'd usually write "string" instead of "strings" here: > +/* A map from strings to string. */ Otherwise, thanks, this looks good.