3,650円 https://www.%61mazon.co.jp/dp/4814400705

GAwkとかならともかく、本家AWK (BSD?)ってそんなに変わっているもんなんだろうか。