[  133.741154][  T847] packetdrill (847) used greatest stack depth: 24080 bytes left