The ampersand implies that a value will be written to to me (though it's slightly more complicated because many ABIs are inefficient with structs passed-by-valu

The ampersand implies that a value will be written to to me (though it's slightly more complicated because many ABIs are inefficient with structs passed-by-value so it's occasionally used for efficiency there as well).