I don't think it does any harm to initialize the related symbols, though.