[  128.860580][  T802] packetdrill (802) used greatest stack depth: 23776 bytes left