data mut $COUNTER align 4 {
    w32 42;
}

fn w32 $getCounter() {
  @entry0
    copy %0 $COUNTER;
    sload w32 %1 %0 0;
    ret %1;
}