pretraced
not defined yet