gen_c: reset symbol names after each generation