const char *wstat(int w);
/* Format wait status @w@. In extremis the return value might be a
* pointer to a string literal. The result should always be ASCII. */
const char *wstat(int w);
/* Format wait status @w@. In extremis the return value might be a
* pointer to a string literal. The result should always be ASCII. */