¹⁰In fact, the source files must be literate programs with extension .as.nw, but in the command ∖sourcefile the extension .nw is assumed automatically.