Full return statement error-checking