module github.com/facebookincubator/magma