initial symbolic value support