# RUN: echo %rec5