Merge pull request #910 from andyleiserson/variable-prss-follow-up #3464

Job	Run time
Additional Builds and Concurrency Tests	9m 19s
Release builds and tests	8m 46s
sanitize (address)	4m 56s
Basic Checks	6m 57s
sanitize (leak)	3m 26s
	33m 24s

Provide feedback