havocked

not defined yet