anchor.diff:                      | _                                                 -> name
   
   
  +        let parameterName (kind : ParameterKind) (name : string) (s : State) =
  +            let c = s.config
  +
  +            match kind with
  +                | ParameterKind.Input -> 
  +                    match Map.tryFind name builtInInputs.[s.stages.self] with
  +                        | Some s -> s
  +                        | None -> regularName kind name s
  +                | ParameterKind.Output -> 
  +                    match Map.tryFind name builtInOutputs.[s.stages.self] with
  +                        | Some s -> s
  +                        | None -> regularName kind name s
  +                | _ ->
  +                    regularName kind name s
   
               
   
  
positive.code:             inputs          : Set<string>
          }
   
    
      [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
      module State =
  
negative.code: 
      [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
      module CEntryParameter =
          let private regularDefinition (state : State) (kind : ParameterKind) (index : int) (p : CEntryParameter) =
              let c = state.config
              let decorations =
                  p.cParamDecorations 
  