Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions