mint 2238 ** heduosmon ** {mint}.
~~~~~~