module.exports = require("../export-contract.js")(
  require("../patterns/sv.js")
);