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