[   87.147027][  T531] packetdrill (531) used greatest stack depth: 23888 bytes left