char *strerror(int errno) {
  return "err"
}