Voids in ion-implanted silicon