Fixed function normal_return