4.1 Nontype Class Template Parameters