function foo(a, b, c)
{
	print "script: foo(" a "," b "," c ")"
	return a+b
}

BEGIN { print "script: BEGIN" }
      { print "script: input: \"" $0 "\"" }
END   { print "script: END" }