[   82.431350][  T507] packetdrill (507) used greatest stack depth: 24736 bytes left