let push_single_param (out: out_channel) (p: element) = 
        output_string out ("stack[++stackptr]" ^ (getElementType p) ^ "\t=\t" ^ (c_element p) ^ ";\n")