function twice(x) { return 2 * x }
{ print $1, twice($3) }