Output format
Select the machine code format for saving the
result of the slicing.