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