RANK_WIDTH_BITS
int rows = (RANK_WIDTH_BITS(mtr) + 12);
rows, (unsigned int)RANK_WIDTH_BITS(mtr), mtr);