let
eat input k =
if
not (key input k)
then
error input
"Missing '%s'"
k