The following program is composed entirely of MAL instructions for which there are no equivalent TAL instructions. Each MAL instruction must be synthesized from one or more TAL instructions. The instructions were selected to illustrate the different forms of synthesis that are employed to translate MAL to TAL.