162306a36Sopenharmony_cidigraph state_automaton {
262306a36Sopenharmony_ci	{node [shape = plaintext, style=invis, label=""] "__init_not_running"};
362306a36Sopenharmony_ci	{node [shape = ellipse] "not_running"};
462306a36Sopenharmony_ci	{node [shape = plaintext] "not_running"};
562306a36Sopenharmony_ci	{node [shape = plaintext] "running"};
662306a36Sopenharmony_ci	"__init_not_running" -> "not_running";
762306a36Sopenharmony_ci	"not_running" [label = "not_running", color = green3];
862306a36Sopenharmony_ci	"not_running" -> "not_running" [ label = "wakeup" ];
962306a36Sopenharmony_ci	"not_running" -> "running" [ label = "switch_in" ];
1062306a36Sopenharmony_ci	"running" [label = "running"];
1162306a36Sopenharmony_ci	"running" -> "not_running" [ label = "switch_out" ];
1262306a36Sopenharmony_ci	{ rank = min ;
1362306a36Sopenharmony_ci		"__init_not_running";
1462306a36Sopenharmony_ci		"not_running";
1562306a36Sopenharmony_ci	}
1662306a36Sopenharmony_ci}
17