[   76.815377][  T457] packetdrill (457) used greatest stack depth: 23904 bytes left