Use builtin SC total order generated by herd with the withsc option