samples code for alloy