awk: extra ) at source line 1
 context is
	{ args = $0 } { if (args !~ /^[0123456789]+( .*)?$/ || +args == >>>  0)) <<< 
awk: syntax error at source line 1
awk: illegal statement at source line 1
	extra )