3 ms·Read a paper: Checking system rules using programmer-written compiler extensions1 points by gandalfgeek 7y ago