void set_variable (variable_name, variable) = 2;
variable get_variable (variable_name) = 3;
variable_name_list get_variable_names (void) = 4;
void set_variable (variable_name, variable) = 2;
variable get_variable (variable_name) = 3;
variable_name_list get_variable_names (void) = 4;