finish defining `AVAKEY` kludge