[   76.116149][  T458] packetdrill (458) used greatest stack depth: 23880 bytes left