#!/bin/ksh

nawk '
    // {
	print
	print ""
    }
'