On Tue, Jan 08, 2019 at 06:56:19PM +0000, Song Liu wrote: > I don't think we need u64 length. 32 bit should be more than enough. > > How about we revise it as:
Yep, works. Although I would not introduce types we're not yet generating. We can add those easily enough when needed.
