bye ... *Bye

*Bye - глобальная переменная, содержащая (возможно, пустое) тело prg, которое должно быть выполнено непосредственно перед завершением интерпретатора PicoLisp.

bye - выполняет все ожидающие finally выражения, закрывает все открытые файлы, выполняет VAL глобальной переменной *Bye (должно быть prg), очищает стандартный вывод и затем выходит из интерпретатора PicoLisp. Возвращаемое значение процесса — cnt или 0, если аргумент отсутствует или NIL.

https://picolisp.tiddlyhost.com/#bye

Тот случай, когда можно указать и набор символов в списке см. также … Помимо finally и finish, которые буду ещё акцентированы в рамках “лексического” анализа, есть ещё символ tmp, который уже был рассмотрен.