function name is unique in a program, you must use the colon notation
explained below to specify a function from a specific source file.
-Sometimes, function names contain dots. In such cases, it is necessar
+Sometimes, function names contain dots. In such cases, it is necessary
to add a leading colon to the name. For example, @samp{:.mul} selects
function @samp{.mul}.