[   51.148142][  T439] packetdrill (439) used greatest stack depth: 24464 bytes left