#!/bin/awk -f

/R/	{ exit }
	{ print $0 }