[  143.044250][  T945] packetdrill (945) used greatest stack depth: 24072 bytes left