Maybe, while you're at it: rename `ringbuffer_get_element`