1 type blank_screen, domain, coredomain; 2 type blank_screen_exec, exec_type, file_type; 3 4 init_daemon_domain(blank_screen) 5 6 hal_client_domain(blank_screen, hal_light) 7