/*      $OpenBSD: prog.c,v 1.3 2017/08/01 13:05:55 deraadt Exp $        */
#include <sys/types.h>
#include <assert.h>

extern int64_t getaavalue(void);

int64_t progvalue __attribute__((section(".openbsd.randomdata")));

int
main()
{
        int64_t aavalue = getaavalue();

        assert(progvalue != 0);
        assert(aavalue != 0);
        assert(progvalue != aavalue);
        return (0);
}