Updating Alloy to 81527c7; LPS-34838