app_p2_init
app_p2 = app_p2_init;
|| !TEST_double_eq(app_p2, app_p2_init) /* Should remain untouched */