Email Record: Calculation methodologies for operability determination of gas voids in nuclear power plant piping.