import modulo = require("../2020/modulo");
export = modulo;