NotFound lifted-compilation