cs420/examples/c/simple.c

int nonce = 1; // For random input

int main()
{
    int x = nonce;
    return x;
}