[   75.517862][  T456] packetdrill (456) used greatest stack depth: 24208 bytes left