(SI:SET-SYSTEM-SOURCE-FILE "EXPLORER-UCODE" "SYS:ULAMBDA;UCODE")