int native_f3() { return 3; }