alloy version 1.0.0