#include <stdio.h>

extern int errno;
extern int sys_nerr;
extern char *sys_errlist[];

print_err()
{
 char *msg;

 if (errno < sys_nerr)
  { msg = sys_errlist[errno];
  }
 else
  { static char buf[64];
    msg = buf;
    sprintf(msg,"Unknown error (%d)",errno);
  }
 print("%s\n",msg);
}