[   51.228934][  T439] packetdrill (439) used greatest stack depth: 24000 bytes left