[   23.580149][  T243] packetdrill (243) used greatest stack depth: 23904 bytes left