On Thu, Jun 06, 2013 at 04:23:18PM -0700, Alexis Metaireau wrote:
> should we rename "process" to "processor"?

I like verby functions, but I don't really mind.