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