debugging with miranda