Index of new symbols in 3.12