EXAMPLE: Only use os.times()[2] for POSIX platforms