The only disadvantage of this approach is that "t" is embedded in diop_solve, so the user cannot set it.
But we'll fix that later.