[   24.308177][  T232] packetdrill (232) used greatest stack depth: 24128 bytes left