[   75.808187][  T458] packetdrill (458) used greatest stack depth: 24432 bytes left