Update Alloy to cf08e6; LPS-34601