Fairly sure they are removed from the total number of issued shares, I'd assume through some background administriva with ASIC.