Index of new symbols in 4.2.5