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