ArgInfo -> Arg