Understanding debugging commands