[   51.227082][  T440] packetdrill (440) used greatest stack depth: 24000 bytes left