[  128.720478][  T802] packetdrill (802) used greatest stack depth: 23792 bytes left