Typing CHAIN"WFSINIT" will bring up the file server disc initialiser. It is called WFSINIT for Winchester Filing System, which is how ADFS was originally known when used with Winchester Discs. The Acorn Winchester Discs were introduced before the 1770 disc interface allowing ADFS to be used with floppies.