chapter advance trace template instantiation