some debugging utilities: