On 03/04/2016 01:46 PM, Yuya Nishihara wrote: > I'm okay with "args". My point is that "args" isn't terminated by '\0', so > "insts" shouldn't be terminated by '\0' as well. I see. But that will require some extra efforts in both client and server to make it work. I would be happy to keep it as is.