AP: "x"
Init: 0 1
--BODY-- 
State: 0 {}
0 1
State: 1 {0}
0 1
--END--