Symbol: smi_to_native_portnum