main := (
m1 %{printf("accept m1\n");} |
"" %{printf("enter m2\n");} |
- m2 >{printf("enter m2\n");} %{printf("accpet m2\n");}
+ m2 >{printf("enter m2\n");} %{printf("accept m2\n");}
) . '\n';
}%%
accept m1
ACCEPT
enter m2
-accpet m2
+enter m2
+accept m2
ACCEPT
enter m1 aa
+enter m1 aa
leave m1 aa
through m1 b
enter m2
accept m1
ACCEPT
enter m1 aa
+enter m1 aa
leave m1 aa
through m1 b
enter m2
accept m1
-accpet m2
+accept m2
ACCEPT
enter m1 aa
enter m2