[   76.881680][  T458] packetdrill (458) used greatest stack depth: 24176 bytes left