defined rex_vars_t in rex header file