[   55.349284][  T478] packetdrill (478) used greatest stack depth: 23840 bytes left