int a() { return 10; }