role r;
role r types domain;