Precise compilation