type hal_ir_default, hal_ir, domain; type hal_ir_default_exec, exec_type, file_type; init_daemon_domain(hal_ir_default)