Modern Compiler Implementation in C: Basic Techniques