#message("Listing initial contents of proc xyzzy\n")

proc xyzzy()
{
    // Change "FAIL" to "PASS"
    "FAIL!\n";
    // After saving, type "xyzzy()" and then "#quit"
}

#list xyzzy ;

#message("Type #edit xyzzy and follow its instructions\n")