[marmight]

  > The corrected standard C source code might look like this (still disregarding error handling and short writes):
  >
  >  void
  >  write_string (int fd, const char \*s)
  >  {
  >    write (1, s, strlen (s));
  >  }

And disregarding the passed file descriptor! :)

[fweimer]

Hah! Thanks, fixed.