# usage:  awk -v x=9  -f test.awk
BEGIN {
  y = 3
  z = x+y
  print "x,y,z:", x,y,z
  printf( "x=%d,y=%d,z=%d:", x,y,z )
}