import modulo = require('../5/modulo');
export = modulo;