Symbolic constants example