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 :)"))