extern void * ___stdin[4];
void **_impure_ptr = &___stdin[0];