Prototyping circular buffers