• time is undefined for pipelines. time single stage or bash -c instead.
• Problematic code:
• Correct code:
• Rationale:
• Exceptions: