let role_def_list = ref ([]: (int * Types.role_type) list)