[  143.076404][  T847] packetdrill (847) used greatest stack depth: 24136 bytes left