Symbol: ge_p3_to_p2