Buffer Pins

buffer_is_not_pinned_count                                      |     |     |     | 8032|
buffer_is_pinned_count                                          |     |     |     | 8032|
no_buffer_to_keep_pinned_count                                  |     |     |     | 8032|