[   76.810910][  T458] packetdrill (458) used greatest stack depth: 24440 bytes left