template<class T, const char* p> int X() {
};
const char p[] = "Vivisectionist";
int m() {X<int,p>();}