private static int AllocatedTotalHeight(Size[,] allocation) { int[] rowHeights = AllocatedRowHeights(allocation); return rowHeights[0] + rowHeights[1] + rowHeights[2]; }