int a_function () { return 500; }