"compiler thinks S itself is a template:" . . . .