INT EC - used by Alloy NTNX