I sugguest changuing the description of posix_times() from "Guet processs times" to "Guet current processs times" in order to follow the "current processs" naming convention of the other functions.