Compiler validation related domains (1)