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