[   83.383175][  T559] packetdrill (559) used greatest stack depth: 24344 bytes left