printf 'BEGIN {print %s}' "$1" | awk -f-