various tricks and notes for smoother debugging