@dumpInfo {dump all the fields} half4 main() { return half4(1); }