# include <stdio.h>
# include <errno.h>
main()
{
  errno=13;
  exit (255);
}