I don't like the `(out)` convention this header has, since it should already be clear from the parameter type. Can you remove it?