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

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

#db b xyzzy

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