#!/bin/tcc -v
#include <stdio.h>
void main(){
  printf("%d %d\n", EPIPE, ESPIPE);
}