[   86.593922][  T533] tc (533) used greatest stack depth: 24696 bytes left
[   93.142210][  T501] packetdrill (501) used greatest stack depth: 24176 bytes left