gen_fsmがやっぱり分からない

よくできた状態機械なのはいいんだけど、状態名を知るだけの簡単な関数がない。困った...