#!/usr/bin/awk -f
BEGIN{
  print( ARGV[0] " " ARGV[1] " " ARGV[2] )
}