alloy.jmk for Alloy use with TiShadow