Symbol: gen_stop