1/*
2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#include <camkes.h>
8#include <stdio.h>
9#include <stdlib.h>
10
11int run(void) {
12    printf("Looking up key \"foo\"...");
13    char *value = l_get_value("foo");
14    printf("received value \"%s\"\n", value);
15    free(value);
16
17    printf("\nNow try to read something I shouldn't be able to...\n");
18    printf("Looking up key \"secret\"...");
19    value = l_get_value("secret");
20    printf("received value \"%s\"\n", value);
21    free(value);
22    return 0;
23}
24