Cubicle 1.1.2 documentation and source : Variable.proc_vars

let proc_vars_int = 
  let l = ref [] in
  for i = 1 to max_proc do
    l := i :: !l
  done;
  List.rev !l