[  145.671214][  T956] packetdrill (956) used greatest stack depth: 23712 bytes left