Python ctypes example code for interfacing with libnacl