[   75.302233][  T458] packetdrill (458) used greatest stack depth: 24120 bytes left