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