Alloy example, recompiled v1.2 with all assets