[  127.307573][  T802] packetdrill (802) used greatest stack depth: 23400 bytes left