Porting this module to Wit