Updated NaCl example, but doesn't quite work yet.