* Generate intermediate Alloy files