SUBPROGRAM MCIS
// Входной массив ARR типа INT
DECLARE INPUT ARRAY of INT in ARR  
// Выходные переменные ST, NUM типа INT
DECLARE OUTPUT INT in ST, INT in NUM
BEGIN
// INT I =  1 ; В I, типа INT, записать  1 .
DECLARE LOCAL INT in I, SET to  1 
//Аналогично, только записать в V константу MIN_INT
DECLARE LOCAL INT in V, SET to :MIN_INT
DECLARE LOCAL INT in I0, SET to  1 
DECLARE LOCAL INT in MI0, SET to  1 
DECLARE LOCAL INT in MLN, SET to  0 
// Здесь метка START
HERE is START
// Идти к выходу, если массив пуст
GOTO EXIT IF :I > @LENGTH(ARR)
// Идти к FND, если первый элемент массива меньше V
GOTO FND IF :ARR[:I] < V
// Здесь метка INC
HERE is INC
// Записать ARR[I] в V
SET V to :ARR[:I]
// Увеличить I на  1 
SET I to :I +  1 
// Идти к START
GOTO START 
// Здесь метка FND
HERE is FND
// Идти к FNDINC, если I - I0 <= MLN
GOTO FNDINC IF :I - :I0 <= MLN
// Записать I - I0 в MLN 
SET MLN to :I - :I0
// Записать MI0  в I0
SET MI0 to :I0
// Здесь метка FNDINC
HERE is FNDINC
// Записать I в IO
SET I0 to :I
// Идти к INC
GOTO INC
// Здесь метка EXIT
HERE is EXIT
// Записать MI0 в ST
SET ST to :MI0
// Записать MLN в NUM
SET NUM to :MLN
END