[   24.318342][  T231] packetdrill (231) used greatest stack depth: 23680 bytes left