[   22.615147][  T232] packetdrill (232) used greatest stack depth: 24256 bytes left