RUN: orc-executor %s %s