[   75.623002][  T458] packetdrill (458) used greatest stack depth: 24592 bytes left