Symbol: interpret_ospf_hello