[   75.748154][  T456] packetdrill (456) used greatest stack depth: 24624 bytes left