[   82.503334][  T583] packetdrill (583) used greatest stack depth: 24736 bytes left