int native_f4() { return 4; }