I agree in general, though my initial reaction is that your example is asserting against two very different behavior: one that we don't call `dup`, and another that we actually marshal the correct object. That said, I think this code is inherently sticky and it probably makes sense to do it to gain confidence ... so I will :)