[   87.545163][  T720] packetdrill (720) used greatest stack depth: 24152 bytes left