Symbol: convert_to_net