a partial translation module to be extended