function vaporizationEnthalpy input SaturationProperties sat; output SpecificEnthalpy Hv; end vaporizationEnthalpy;