bikeshed: "distribution_double_buffer_size"