[  116.713524][  T720] packetdrill (720) used greatest stack depth: 23480 bytes left