Check out SAEF GAMS (@safe