[   55.563129][  T478] packetdrill (478) used greatest stack depth: 23616 bytes left