changed symbol names to avoid segmentation error