Added tail and head pointers to circular_buffer_debug().