Returning an integer