let push_params (a: element) (pl: element list) (proct: proc_table) (out: out_channel) = match a with
Subr(s) -> (
let entry = (Hashtbl.find proct (Ide(s))) in match entry with
Building(_,_) -> raise (CONFIRM_RULE "Why should I have some subroutines in building phase here?")
| Subroutine(_,_,_,_) -> (
for n=0 to ((List.length pl)-1) do
(push_single_param out (List.nth pl n))
done
)
)
| _ -> raise (CONFIRM_RULE "Why should I have to call a variable or a label?")