Compilers principles, techniques, & tools