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