Specifiy ints for indices in augmented child TPMs