EXCCODE_ALE
case EXCCODE_ALE: return "ALE";
if (exccode >= EXCCODE_TLBL && exccode <= EXCCODE_ALE)
[EXCCODE_ALE] = handle_ale,
case EXCCODE_ALE: