1# health info abstraction 2type hal_health_default, domain; 3hal_server_domain(hal_health_default, hal_health) 4 5type hal_health_default_exec, exec_type, vendor_file_type, file_type; 6init_daemon_domain(hal_health_default) 7