Shouldn't need to be volatile since access is protected by a critical section (although see comment below)