[  114.037306][  T741] packetdrill (741) used greatest stack depth: 24128 bytes left