Symbol: show_sema