Should we define the new totalorder in libc, so that it is harder to get the wrong version at run time due to underlinking? Or is totalorder so obscure as an interface that this should not matter?