Re: PATCH: wctime / wasctime