function value = WB_SUPERVISOR_MOVIE_ENCODING_ERROR
% DEPRECATED
warning('WB_SUPERVISOR_MOVIE_ENCODING_ERROR is deprecated, use wb_supervisor_movie_is_ready() and wb_supervisor_movie_failed() instead');
value = 4;