Added symbolic return value.