On 26 October 2016 at 23:18, Rui Ueyama <ruiu at google.com> wrote: > Currently we have three allocators for each input file. What if we should > use three global allocators? Yes, that worked. Thanks! Cheers, Rafael