read(L, L′, 4) then inject : Discard5 · More⟨[]⟩ else read(L, L′, 0) : Normal⟨L′⟩} More⟨L⟩ = {let L′; if read20(L, L′, 16) then alarm : inject : Discard5 · Proble else if read20(L, L′, 4) then inject : Discard5 · More⟨[]⟩ else if read20(L, L′, 0) then Normal⟨L′⟩ else read(L, L′, 0) : More⟨L′⟩} Problem⟨L⟩ = {let L′; if read20(L, L′, 16) then alarm : inject : Discard5 · Proble else if read20(L, L′, 4) then inject : Discard5 · More⟨[]⟩ else if read20(L, L′, 0) then Normal⟨L′⟩ else read(L, L′, 0) : Problem⟨L′⟩} Discardi>0 = ignore : Discardi−1 Discard0 = ϵ 16