[   78.750363][  T580] packetdrill (580) used greatest stack depth: 24536 bytes left