int native_f1() { return 1; }