Which option would you use in SAS to trace macro execution?

Using the OPTIONS statement with MPRINT is the appropriate choice to trace macro execution in SAS. When MPRINT is set, it enables the display of the generated SAS code that results from macro variable resolutions and macro executions in the log. This is useful for debugging and understanding how the macro is transforming and generating the code.

By reviewing the output of the MPRINT option in the log, programmers can gain insight into the specific lines of code that are dynamically created during macro execution, allowing them to trace the sequence of operations and identify any potential issues that may arise during the process.

The other options do not serve the purpose of tracing macro execution effectively. For example, OPTIONS SORT might relate to sorting behavior but has no relevance to macros. OPTIONS FORMAT pertains to the display formats of variables and data, while OPTIONS MACRO does not directly apply as there is no specific macro tracing functionality associated with it. Thus, using MPRINT is the clear and focused approach for tracing and debugging macro execution in SAS.