Advanced compiler design and implementation