Alloy's Model sample code