[   75.440063][  T458] packetdrill (458) used greatest stack depth: 24064 bytes left