Identity · Shared binding mutation

#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
typedef struct{int64_t value;}Counter;typedef struct{int64_t *value;}View;
int main(int argc,char**argv){
    int64_t n=argc>1?atoll(argv[1]):40000000,checksum=0;
    Counter *counter=malloc(sizeof(*counter));counter->value=0;
    View *view=malloc(sizeof(*view));view->value=&counter->value;
    for(int64_t i=0;i<n;i++){counter->value=i+1;checksum=(checksum+*view->value)%1000003;}
    printf("%" PRId64 "\n",checksum);
}

construct View { binding values: [Int] }
@main {
    state values: [0]
    let view: View(values: $values)
    state i: Int(0)
    state checksum: Int(0)
    while i < 40000000 {
        view.values[0]: i + 1
        checksum: (checksum + values[0]) % 1000003
        i: i + 1
    }
    return checksum % 251
}