Modern Compiler Implementation in C