The linker

produces an executable program as output

produces an assembly language program as output

produces an object machine language model as output

keeps track of the labels used by the program in a symbol table