: void Init_var_tables(void)

