Domset compiles