\ingroup module_hidden \defgroup linking linking

\author Martin Brain

This allows multiple ‘object files’ (goto-programs) to be linked into one ‘executable’ (another goto-program), thus allowing existing build systems to be used to build complete goto-program binaries.