ASSIGN

next(a) := case a : 0; 1 : 1; esac;
