* Sanitized program's return values.