Update var-access-counter.h