Symbol: node_info_from_raw_nat