---| eg/001-bad.awk |-----------------------------------------