[   75.434279][  T458] packetdrill (458) used greatest stack depth: 24032 bytes left