[  127.175584][  T802] packetdrill (802) used greatest stack depth: 23056 bytes left