If they account for them separately. They might just count on, as if the rest of the country has gotten the shots. I think they have been doing that already, because some people already had boosters before they were allowed.