r#"public static void f1(@NonNull Boo a0) {
long a00 = a0.mNativeObj;
do_f1(a00);
JNIReachabilityFence.reachabilityFence1(a0);
}"#;
r#"public static void f2(@NonNull Boo a0) {
long a00 = a0.mNativeObj;
do_f2(a00);
JNIReachabilityFence.reachabilityFence1(a0);
}"#;