Alloy_language loading ...