// S : tags   sym c++ min  $TAGS
// S : expect --result valid
// S : cc     -o test.bc  $CC_OPT $file
// S : verify --symbolic $V_OPT test.bc

#include <sys/lamp.h>
#include <assert.h>

int value;

int get(int * addr) {
    return *addr;
}

int main(void) {
    value = __lamp_any_i32();

    int loaded = get(&value);
    assert( loaded == value );
    return 0;
}