User-independent debug stuff.