[  767.999954][ T8720] packetdrill (8720) used greatest stack depth: 23888 bytes left