int a() { return 5; }