Do not delete symbols just because they are not used in this code