[   76.374343][  T458] packetdrill (458) used greatest stack depth: 24272 bytes left