pretrace
not defined yet