Mike Stump Tue, 04 Aug 2015 08:43:56 -0700
On Aug 4, 2015, at 5:30 AM, H.J. Lu <[email protected]> wrote: > Where does this feature belong?
I prefer the middle end.