This should make everybody happy, especially since we don't say what
the argument type is (there is disagreement on that, too :-( ).