void avcodec_default_release_buffer(AVCodecContext *s, AVFrame *pic){
    int i;
    InternalBuffer *buf, *last;
    AVCodecInternal *avci = s->internal;
    assert(pic->type==FF_BUFFER_TYPE_INTERNAL);
    assert(avci->buffer_count);
    if (avci->buffer) {
        buf = NULL;
        for (i = 0; i < avci->buffer_count; i++) {
            buf = &avci->buffer[i];
            if (buf->data[0] == pic->data[0])
                break;
        }
        assert(i < avci->buffer_count);
        avci->buffer_count--;
        last = &avci->buffer[avci->buffer_count];
        FFSWAP(InternalBuffer, *buf, *last);
    }
    for(i=0; i<4; i++){
        pic->data[i]=NULL;
    }
    if(s->debug&FF_DEBUG_BUFFERS)
        av_log(s, AV_LOG_DEBUG, "default_release_buffer called on pic %p, %d "
               "buffers used\n", pic, avci->buffer_count);
}
['void avcodec_default_release_buffer(AVCodecContext *s, AVFrame *pic){\n    int i;\n    InternalBuffer *buf, *last;\n    AVCodecInternal *avci = s->internal;\n    assert(pic->type==FF_BUFFER_TYPE_INTERNAL);\n    assert(avci->buffer_count);\n    if (avci->buffer) {\n        buf = NULL;\n        for (i = 0; i < avci->buffer_count; i++) {\n            buf = &avci->buffer[i];\n            if (buf->data[0] == pic->data[0])\n                break;\n        }\n        assert(i < avci->buffer_count);\n        avci->buffer_count--;\n        last = &avci->buffer[avci->buffer_count];\n        FFSWAP(InternalBuffer, *buf, *last);\n    }\n    for(i=0; i<4; i++){\n        pic->data[i]=NULL;\n    }\n    if(s->debug&FF_DEBUG_BUFFERS)\n        av_log(s, AV_LOG_DEBUG, "default_release_buffer called on pic %p, %d "\n               "buffers used\\n", pic, avci->buffer_count);\n}']