#127: Postponed the buffer allocation in flush()