let array_get (v: element) (x: element) = match v with
          Off(o,DInt,b)     ->  if b then "stack[baseptr + " ^ (string_of_int o) ^ " + " ^ (c_element x) ^ "].i"
                                else "stack[" ^ (string_of_int o) ^ " + " ^ (c_element x) ^ "].i"
        | Off(o,DFloat,b)   ->  if b then "stack[baseptr + " ^ (string_of_int o) ^ " + " ^ (c_element x) ^ "].f"
                                else "stack[" ^ (string_of_int o) ^ " + " ^ (c_element x) ^ "].f"
        | _                 ->  (raise (CONFIRM_RULE "The vector instruction is built in a smart way, so this case never occurs :)"))