And add a companion function WS_ReservationSize(). This makes it explicit
that accessing the workspace front pointer is only valid for reservations,
and also informs you whether you are in the middle of a reservation, which
would be helpful for assertions.