Fix-ups to guarantee that tipc_initialize/0 is atomic
Fix-ups to guarantee that tipc_initialize/0 is atomic

edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel