===> Cleaning for vice-3.10