Update Alloy to fef587; LPS-33799, LPS-33690