[  148.924634][  T715] packetdrill (715) used greatest stack depth: 23128 bytes left