a application for A-alloy calc