function f1 () { return 0 }