/** Converts an integer to a string, in ANSI C, thanks to Dom_ (http://www.signalsondisplay.com/) */

  int   div;

  int   len;

  int   i;

  char  *res;

  res = malloc(4 * sizeof(*res)); // Was xmalloc, hopefully it still works :D

  i = 0;

  while (i < 3)

    res[i++] = '\0';

  res[3] = '\0';

  i = 0;

  div = 1;

  len = 1;

  while (nbr / div >= 10)

    {

      div *= 10;

      len++;

    }

  while (len)

    {

      res[i++] = '0' + (nbr / div);

      len--;

      nbr %= div;

      div /= 10;

    }

  return (res);