Attempting to fix warning about no_return function actually returning