[   68.631402][  T611] packetdrill (611) used greatest stack depth: 23784 bytes left