[   75.782222][  T458] packetdrill (458) used greatest stack depth: 24296 bytes left