[   86.331425][  T531] packetdrill (531) used greatest stack depth: 24632 bytes left