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