added in debugkit code