Import py-NaCl, need a port of cffi