[TIDOC-1133] Alloy Example