debug tools, redefined