let
fresh_lname =
let
cpt = ref 0
in
fun
()
->
incr cpt;
"L"
^ (string_of_int !cpt)