python shared library for generating and retrieving a deviceid. - View it on GitHub