Value substitution in compiling phase.