Symbol: to_ipc_ns