Or, before creating the buffer with this capacity, assert_true(64 >= buffer2_size);