void dpdyFine_df33aa() {
float2 res = ddy_fine((1.0f).xx);
}
void fragment_main() {
dpdyFine_df33aa();
return;