1: static inline int gen_new_label(void)
    2: {
    3:     return nb_gen_labels++;
    4: }
    5: 
    6: static inline void gen_set_label(int n)
    7: {
    8:     gen_labels[n] = gen_opc_ptr - gen_opc_buf;
    9: }