static inline int gen_new_label(void)
{
return nb_gen_labels++;
}
static inline void gen_set_label(int n)
gen_labels[n] = gen_opc_ptr - gen_opc_buf;