* logging for nacl via fprintf