MyProc: UserProc =
BEGIN
ab, cd: InstName;
ab ← AbutY["bar","bar"];
ab ← AbutY[ab,ab];
cd ← AbutX["foo","foo"];
ab ← Array [AbutX[cd, ab, ab], 1 , 8, 0, 255];
ab ← Inst["fou", LIST["FilRouge"], TRUE];
cd ← Inst["fou", LIST["FilRouge"], FALSE];
ab ← AbutY["machin:store2B", NIL, "truc:store2B"];
cd ← AbutX[ab, ab];
RETURN [AbutY["fooo:store2B", ReName["store2B", "machin"]]];
END;