#define PRINT_PIDFD 1
#define FD0_PATH "</dev/full<char 1:7>>"
#include "pidfd_getfd.c"