Alloy 1.4.0-RC