another debugging interface