真空マッチ (2)

やっぱり違うな。訂正。
正しいというか、仕様が最も一貫しているのは　$1 = '', $2 = 'a', $3 = 'b' だけ。
理由は後で書く。