Example counter using NaCl