[   80.241516][  T582] packetdrill (582) used greatest stack depth: 24192 bytes left