ccode: generating labels and goto stmts