let make_label() =
    let n = !label_counter in
    let s = "$L"^(string_of_int n) in
    incr label_counter;
    s