En post källa uttalanden och gren resultat som uppstår när ett program körs med symboliska, i stället för faktiska, värden för indata.