1 2 3
type hal_rcsservice, domain; type hal_rcsservice_exec, exec_type, vendor_file_type, file_type; init_daemon_domain(hal_rcsservice)