[   58.187137][  T478] packetdrill (478) used greatest stack depth: 23600 bytes left