Bugs as features: teaching network protocols through debugging