Posix.NLTime.WEEK_NDAYS – posix Reference Manual