Compiler Can Check