#include "tensorstore/util/int2.h" friend Int2Paddedtensorstore::Int2Padded::operator--(Int2Padded& a, int); Post-decrement.