pub fn extract_buffer(buffer: &ResOperand) -> (&CellRef, Felt)
Extracts a parameter assumed to be a buffer.