/* This file should define the POSIX options described in , or leave them undefined, as appropriate. */