_==0 "exec" "awk" "-f" "$0"
{ print $0*($0+1)/2 }