> On Dec 19, 2018, at 5:06 PM, matthew green <mrg%eterna.com.au@localhost> wrote: > > i would argue that until we're willing to drop a.out exec > entirely we should keep the above. let's not chip and hack > around it. Fair point. Insert "should we get rid of a.out exec, too?" here :-) -- thorpej