{"name": "show_colors", "code": "__int64 show_colors ( ) { unsigned __int8 * @@v1@@ ; const char * @@v2@@ ; unsigned int @@i@@ ; printf ( String , String ) ; for ( @@i@@ = Number ; ; ++ @@i@@ ) { @@v2@@ = ( const char * ) av_get_known_color_name ( @@i@@ , & @@v1@@ ) ; if ( ! @@v2@@ ) break ; printf ( String , @@v2@@ , * @@v1@@ , @@v1@@ [ Number ] , @@v1@@ [ Number ] ) ; } return Number L ; }", "source": [{"n": "i", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}, {"n": "v2", "t": {"T": 3, "t": "const char"}, "location": "s24"}, {"n": "v1", "t": {"T": 3, "t": "unsigned __int8"}, "location": "s32"}]}