When you type anything onto the A-Shell command line, such as "ABCDE," A-Shell searches (a) for "ABCDE" with various extensions, and (b) in various locations. Following is the location and filename extension for which A-Shell searches, and the order in which it does so.
(more)