lifting programs