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