prints some symbol values