In posix.td you wrote that the arguments should be restricted, shouldn't it look like const char *__restrict?