%init: S; %accept: S; S: -> S;