Moved the declaration of the specialization parameters into init.t