[   76.510098][  T458] packetdrill (458) used greatest stack depth: 24096 bytes left