Question: Simplified algorithm for calculating remaining space in a circular buffer?