Initial version of the translated version