* debugging aids