#include <stdio.h>
FILE *__stderr;

/*
STDC(0)
SIGNAL_SAFE(0)
*/