[   88.424943][  T501] packetdrill (501) used greatest stack depth: 24184 bytes left