Simple-Finalizer
Simple finalizer is a package used (at least) in Lispbuilder-openrm.

trivial