add ukey_to_machine()