I haven't reviewed the patch in detail, but I support the principle of adding this new API. Any other views on that? -- Joseph S. Myers joseph@codesourcery.com