int foo () {return 9;}