Revert "Use variables instead of symbolic values in programs."

This reverts commit 51836f751abd9b9003e97ab6beb1c04fb79c9bed.