Symbol: to_vc4_encoder