view_context -> view_contexts
tok_name -> context_type