add debugging facilities