let plugins = [ (module Scopes.Plugin : PluginType.S); @SALSA@ ]