#include <stdio.h>
FILE *__stdout;

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