replace 'unsigned long ' by 'GtUword'