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