[  148.128963][  T858] packetdrill (858) used greatest stack depth: 24128 bytes left