superspecialize
not defined yet