[   76.487065][  T458] packetdrill (458) used greatest stack depth: 24312 bytes left