let
roles_printed = ref ([] : string list)