Return value checking