some debugging facilities