noninitial
not defined yet