int native_f2() { return 2; }