Symbol: Comment_state