Submodule link to 317cfdcdfb9e16a32ffbfb7133e9d1ab9caf0596 of https://github.com/mitre/magma.git