let
fresh_reg () =
incr regc; !regc