rewrite kaleidoscope in AWK