Julia Lawall Tue, 14 May 2019 23:12:21 -0700
> Can different run time characteristics become relevant here? Internally, they should be identical.
julia