Debugging of OSPF