/* GCC wasn't handling 64 bit constants right fixed */

void main() {
	long long Var = 123455678902ll;
	printf("%lld\n", Var);

}