#include <stdio.h>
#define PI 50

#ifndef __DBL_HAS_INFINITY__
#define PI 50
#undef PI

#endif

int main() { printf("Hello"); }