int __dummy__;