NaCl skeleton from hello_tutorial