[   80.907341][  T612] packetdrill (612) used greatest stack depth: 24384 bytes left