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