Updating Alloy to 1cd3943; LPS-41539