debugging interface