BEGIN

gawk: getfile.awk:9: warning: cannot open unrecognized file type `<<' for `echo hello; echo goodbye'

get_file: get_file(echo hello; echo goodbye, <<, -1) failed

expected error result 0 

get_file returned 1

input_name echo hello; echo goodbye

1

hello

BEGINFILE (-) ERRNO ()

get_file returned 1

input_name -

end BEGIN

ENDFILE (-) ERRNO ()

END

1

goodbye

0