Code lifting in Pascal program.