let dummy_basic_hlpsl_role = ref new Types.basic_hlpsl_role