Re: gerrit #1411, asan fix for egprs_puncturing_values