task #400 state, transition, annotation の基礎工事

最後に評価された値が返り値になるので、`return`は不要です。