# A → β define(⟦ERROR⟧, ⟦ divert(0)dnl ⟦$1 $2⟧ divert(-1) ⟧)