[  128.141579][  T802] packetdrill (802) used greatest stack depth: 23856 bytes left