This looks like a memory leak... but it turns out the locale ctor takes over the facet, OK.