⁸It is suggested that the Aldor source files are put into one or more subdirectories (of any depth) of the directory src, see Section 33.3.