#include <stdio.h>
FILE *__stdin;

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