cmp_z_gcdext_4 is working