let key input k =
    match input.token with
      | Key a when a=k -> skip input ; true
      | _ -> false