Re: what should be in POSIX vs X3J11