debugging aids