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